$\forall$$A$:Type, $f$:($A$$\rightarrow\mathbb{B}$), $x$:$A$. \{$f$\}$_{b}$($x$) $\in$ Dec($f$($x$) = tt)